Control-Driven Data Flow
نویسندگان
چکیده
This paper presents CDDF, a model of computation underpinning the formal seman-tics of a number of parallel programming languages. CDDF integrates control ow elements for thedynamic construction of task graphs, and data ow elements to express dependent computationsand to decouple these using unbounded streams (Kahn process networks). It is a common groundto de ne the formal semantics of imperative programming languages with dynamic task creation,as well as dataow or concurrent functional languages, as a special case of more general dependenttask languages with channels or streams. We prove essential properties for languages tting thismodel of computation, including deadlock-freedom, functional and deadlock determinism, andserializability. We also compare the model's hypotheses with Cilk's strictness and the Kahnprinciple.Key-words: Model of computation, operational semantics, programming languages, dataow,stream computing, parallel programming.hal-00717906,version2-19Feb2013 Control-Driven Data Flow Résumé : Ce papier présente CDDF, un modèle de calcul qui permet de donner une sémantiqueformelle a un certain nombre de langages de programmation parallèle. Il intègre des élémentsde contrôle de ot pour la construction dynamique de graphes de tâches, ainsi que des élémentsde ot de données pour exprimer les dépendances des calculs et découpler ceux-ci à l'aide destreams non bornés à l'instar des réseaux de processus de Kahn. Le modèle CDDF fournit unebase commune pour dé nir la sémantique formelle des langages impératifs à création dynamiquede tâches, ainsi que des langages fonctionnels concurrents ou à ots de données, en tant quecas particulier de langages à tâches dépendantes avec cannaux de communication ou streams.Nous prouvons des propriétés essentielles sur les langages basés sur ce modèle, dont l'absenced'interbloquages, le déterminisme fonctionnel et d'interbloquage, ainsi que la sérialisabilité. Nouscomparons les hypothèses utilisées dans CDDF à la condition d'exécution stricte de Cilk ainsiqu'au principe de Kahn.Mots-clés : Modèle de calcul, sémantique opérationnelle, langages de programmation, ot dedonnées, calcul par streams, programmation parallèle. hal-00717906,version2-19Feb2013 Control-Driven Data Flow3
منابع مشابه
Comparison and evaluation of the performance of data-driven models for estimating suspended sediment downstream of Doroodzan Dam
Dams control most of the sediment entering the reservoir by creating static environments. However, sediment leaving the dam depends on various factors such as dam management method, inlet sediment, water height in the reservoir, the shape of the reservoir, and discharge flow. In this research, the amount of suspended sediment of Doroodzan Dam based on a statistical period of 25 years has been i...
متن کاملA software component model that is both control-driven and data-driven
A Software Component Model That is Both Control-Driven and Data-Driven Lily Suryani Safie A thesis submitted to The University of Manchester for the degree of Doctor of Philosophy, 2012 A software component model is the cornerstone of any Component-based Software Development (CBSD) methodology. Such a model defines the modelling elements for constructing software systems. In software system mod...
متن کاملNumerical Investigation of Double- Diffusive Mixed Convective Flow in a Lid-Driven Enclosure Filled with Al2O3-Water Nanofluid
Double-diffusive mixed convection in a lid-driven square enclosure filled with Al2O3-water is numerically investigated. Two-dimensional nonlinear governing equations are discretized using the control volume method and hybrid scheme. The equations are solved using SIMPLER algorithm. The results are displayed in the form of streamlines, isotherms, and iso-concentrations when the Richardson number...
متن کاملAn Analytical Approach to the Effect of Viscous Dissipation on Shear-Driven Flow between two parallel plates with Constant Heat Flux Boundary Conditions
An investigation has been made to analyze the effects of viscous dissipation on the heat transfer characteristics for both hydro-dynamically and thermally fully developed, laminar shear driven flow between two infinitely long parallel plates, where the upper plate is moving in an axial direction at a constant speed. On the basis of some routine assumptions made in the literature, a close form a...
متن کاملNumerical Study of Flow and Heat Transfer in a Square Driven Cavity
A numerical approach called “SIMPLER” is used to investigate the flow and heat transfer characteristics in a square driven cavity. The two-dimensional incompressible Navier-Stokes equations were solved and the results are depicted as contour plots of stream function, vorticity, and total pressure for Reynolds numbers from 1 to 10000. At the higher values of Reynolds number, an inviscid core re...
متن کاملUsing Burnett Equations to Derive an Analytical Solution to Pressure-Driven Gas Flow and Heat Transfer in Micro-Couette Flow
The aim of the present study is deriving an analytical solution to incompressible thermal flow in a micro-Couette geometry in the presence of a pressure gradient using Burnett equations with first- and second-order slip boundary conditions. The lower plate of the micro-Couette structure is stationary, whereas the upper plate moves at a constant velocity. Non-dimensional axial velocity and tempe...
متن کامل